Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix compiling pack of rules #1036

Merged
merged 2 commits into from
Jan 30, 2024
Merged

Fix compiling pack of rules #1036

merged 2 commits into from
Jan 30, 2024

Conversation

gabrielhdt
Copy link
Member

@gabrielhdt gabrielhdt commented Jan 27, 2024

Rules declared in group appeared to be reverted when handled, causing the "sequential" strategy to not behave as intended (the rule with highest priority was the last to appear in the source file). Fixes #1033

Gabriel Hondet added 2 commits January 27, 2024 13:57
Rules declared in group appeared to be reverted when handled, causing
the "sequential" strategy to not behave as intended (the rule with
highest priority was the last to appear in the source file).
One can see that in hrs.expected, the order of the exported rewrite
rules now match the order the rules are declared in. Look for instance
at the rules of bool_neg in boolean.lp.
@gabrielhdt gabrielhdt requested a review from fblanqui January 29, 2024 18:35
@fblanqui
Copy link
Member

Thanks Gabriel!

@fblanqui fblanqui merged commit 2b8cfe4 into Deducteam:master Jan 30, 2024
18 checks passed
@gabrielhdt gabrielhdt deleted the iss1033 branch February 3, 2024 10:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Wrong evaluation order with sequential modifier
2 participants